<?php
if (!extension_loaded("EventDispatcher")) {
	die('skip EventDispatcher extension not available');
}
